2021-04-11 05:24:19 (CEST) cTI start

% cTI_lt 0.25 using 23.619 MLIPS SICStus 3.8.5 (x86-linux-glibc2.1): Mon Oct 30 16:34:14 CET 2000.
% cTI: Rt=44ms, Wt=42ms. NTI: Rt=4ms, Wt=5ms at most 72 inferences for useful informations.
% NTI summary: 1 case unresolved, 0 predicates have been ignored: []

app(A,B,C)terminates_if b(A);b(C).
    % optimal. loops found: [app([A|_],_,[A|_]),app([B|_],y,[B|_])]. NTI took    0ms,72i,72i
c terminates_if false.
    % all cases unresolved.
    %  NTI took    4ms, 0i,100i

Analyzed program:

app([], Zs, Zs).
app([X|Xs], Ys, [X|Zs]) :-
  app(Xs, Ys, Zs).

c :- app(X,X,_).